<?php

/**
 * Элемент формы для ввода значения с плавающей точкой.
 *
 */
class Kernel_Form_Element_Float extends Kernel_Form_Element_Abstract { }
